Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
intuitionistic logic constructive proof natural deduction drool-proof paper four colour map theorem General Recursion Theorem PRL exercise, left as an Russell's Paradox ML Cantor paradox loser philosophy Isabelle Logic for Computable Functions axiom PROOF/L lemma epsilon user-friendly Baroque room-temperature IQ proof theory penis war prime number theorem Macintrash metalanguage Clausal Language PPLambda Optical Character Recognition Software Verification Research Centre menuitis countable documentation Nuprl point-and-drool interface TABLOG formal methods natural language toy language HOL deductive tableau induction Fermat prime logic acoustic coupler Nightmare File System B B-Toolkit OS/2 Debian Carl Friedrich Gauss Lisp flame